Sequentially Continuous Linear Mappings in Constructive Analysis
نویسندگان
چکیده
منابع مشابه
Cdmtcs Research Report Series Sequentially Continuous Linear Mappings in Constructive Analysis Sequentially Continuous Linear Mappings in Constructive Analysis
متن کامل
A RELATED FIXED POINT THEOREM IN n FUZZY METRIC SPACES
We prove a related fixed point theorem for n mappings which arenot necessarily continuous in n fuzzy metric spaces using an implicit relationone of them is a sequentially compact fuzzy metric space which generalizeresults of Aliouche, et al. [2], Rao et al. [14] and [15].
متن کاملConstructive Compact Linear Mappings
In this paper, we deal with compact linear mappings of a normed linear space, within the framework of Bishop's constructive mathematics. We prove the constructive substitutes for the classically well-known theorems on compact linear mappings: T is compact if and only if T* is compact; if S is bounded and if T is compact, then TS is compact; if S and T is compact, then S+ T is compact.
متن کاملFuzzy almost generalized $e$-continuous mappings
In this paper, we introduce and characterize the concept of fuzzy almost generalized $e$-continuous mappings. Several interesting properties of these mappings are also given. Examples and counter examples are also given to illustrate the concepts introduced in the paper. We also introduce the concept of fuzzy $f T_{frac{1}{2}}e$-space, fuzzy $ge$-space, fuzzy regular $ge$-space and fuzzy gener...
متن کاملConstructive Proof of Tychonoff’s Fixed Point Theorem for Sequentially Locally Non-Constant Functions
We present a constructive proof of Tychonoff’s fixed point theorem in a locally convex space for uniformly continuous and sequentially locally non-constant functions. Keywords—sequentially locally non-constant functions, Tychonoff’s fixed point theorem, constructive mathematics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 63 شماره
صفحات -
تاریخ انتشار 1998